Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πŸŒ‰Galois Connections
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·13hΒ·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netΒ·8h
πŸŒ€Brotli Internals
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.toΒ·1hΒ·
Discuss: DEV
βœ…Format Verification
Flag this post
Lang’s theorem β€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·11h
Ξ»Lambda Encodings
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.comΒ·10hΒ·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.orgΒ·1dΒ·
πŸ“Mathematical Art
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgΒ·1d
βš™οΈABNF Mining
Flag this post
The Machine Learning Roadmap
github.comΒ·9hΒ·
Discuss: Hacker News
🎡Audio ML
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netΒ·22hΒ·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.toΒ·12hΒ·
Discuss: DEV
βš”οΈLean Tactics
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comΒ·1d
πŸ“šLempel-Ziv
Flag this post
Infix Versus Prefix Operators
irreal.orgΒ·16h
🧠Lisp Dialects
Flag this post
The Architect’s Mindset: Structuring Data for Robust AI Pipelines
dev.toΒ·2dΒ·
Discuss: DEV
πŸ’»Programming languages
Flag this post
Dingo: A Meta-Language for Go
github.comΒ·6hΒ·
πŸ¦€Rust Macros
Flag this post
Where "Simulation" Came From
decomposition.alΒ·2dΒ·
Discuss: Hacker News
πŸ”€Type Theory
Flag this post
LLM-Driven Active Listwise Tournaments for Large Universe Portfolio Selection
papers.ssrn.comΒ·4dΒ·
Discuss: Hacker News
🌊Streaming Algorithms
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.comΒ·1dΒ·
Discuss: Hacker News
πŸ”¬Lean
Flag this post
Show HN: Wolfrominoes
demos.samgentle.comΒ·3hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Flag this post
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.comΒ·1d
πŸ•ΈοΈNeo4j
Flag this post